Gravar-mail: An algorithm for designing minimal microbial communities with desired metabolic capacities