Recent progress in metabolic engineering of microbial formate assimilation