Cardinality optimization in constraint-based modelling: application to human metabolism