Microbial electrosynthesis of butyrate from carbon dioxide