Migrating Distributed Systems Infrastructure to a Serverless Model: Methodology and Insights