Glitch leaves 15,000 holiday flights without pilots