US residential energy demand and energy efficiency: A stochastic demand frontier approach