Multi-objective optimization problems, expressed as Alloy