Synthetic biology and microbial electrosynthesis