Random Access Memories, a musical