Microbial mutualism promoting the coexistence of competing species: Double-layer model for two competing hosts and one microbial species.