Cost-effectiveness of automated external defibrillators on airlines.