Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation