UK air traffic control outage caused by software defect, says operator