How would you design a car reservation system that handles high concurrency during peak travel seasons for Hertz Philippines?