‘Shrek 5’ Is Official, With Original Cast Returning