How pilots avoid thunderstorms--and what happens when they can't