Electricity use of AI coding agents