rodgers and hammerstein's cinderella the musical