Engineering the sequestration of carbon dioxide using microalgae