Maintenance scheduling problems as benchmarks for constraint algorithms