Texas oil refiners will take weeks to recover, boosting U.S. gasoline prices