Serverless in Real Life: A Case Study in the Travel Industry