Strong performance by U.S. refineries reflects shale oil boom