Markets for Reliability and Financial Options in Electricity: Theory to Support the Practice