A next-generation platform for Cyber Range-as-a-Service