A mechanistic model for rational design of optimal cellulase mixtures