Microbial electrosynthesis: Carbon dioxide sequestration via bioelectrochemical system