A supervised market mechanism for efficient airport slot allocation