Title: The formal theory of electricity pricing and investment