JetBlue and Spirit abandon their $3.8 billion merger