REDI, connecting Colorado's renewable resources to the markets in a carbon-constrained electricity sector