Music : What composer is credited with introducing ballet into opera