A technical failure in the flight-processing system managed by National Air Traffic Services (NATS) caused thousands of cancellations