Workload Balancing for Airline Flight Dispatchers