Automatic construction of metabolic models with enzyme constraints