A comparison of sequential design procedures for discriminating enzyme kinetic models