Gravar-mail: Identifying target processes for microbial electrosynthesis by elementary mode analysis