'Shrek the Musical' comes to Progress Energy Center