The airline pilot shortage is dire. Here’s what major carriers are doing to fill cockpits