HSBC: Using Serverless at Scale in Banking