A Combinatorial Algorithm for Microbial Consortia Synthetic Design