Electricity and Firm Productivity: A General-Equilibrium Approach