Recent progress in genetically modified microalgae for enhanced carbon dioxide sequestration