How would you design a highly available booking system capable of handling massive traffic spikes for Mariott Tech Accelerator?