Texas retail gasoline prices slip 9 cents