How would you design a high-availability booking system that handles massive traffic spikes for easyJet?