Retail gasoline prices slip 4 cents across Texas