The US is facing a serious shortage of airline pilots