MultiZenoTravel: a Tunable Benchmark for Multi-Objective Planning with Known Pareto Front