ARM64 for Serverless Computing: Performance Modeling and Analysis to Understand Implications of Architecture Adoption