Grease: Rydell High release date, cast, and plot