The Formal Theory of Electricity Pricing and Investment I: A Continuous-Time Model of Deterministic Production