shrek, o musical