Proteomic and metabolic analysis of chemolithotrophic bacteria for sequestration of carbon dioxide and production of biodiesel