Automated Metamodel Instance Generation Satisfying Quantitative Constraints