Spring Musical, "Disney's Camp Rock: The Musical"