Global analysis of a stoichiometric producer–grazer model with Holling type functional responses