Despite high gas prices, US refiners strain to meet summer demand