Engineering Metabolic Pathways for Conversion of CO2 to Fuels