Model-based computational methods to aid the design of synthetic microbial communities