Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs