Cutting CO2 emissions with rooftop greenhouses