Retail gasoline prices in Texas slip 7 cents