Shrek, el musical