The Value of Virtualisation: A Case Study in Migrating a Mobile Messaging Platform to the Telco Cloud