Grease, il musical