Making cap-and-trade work: the history and future of a proven program