Summer demand could push US gas generation to record levels: EIA