How would you design a system to manage user sessions for a high-traffic web application at SmarterTravel?