I'm pretty sure they used Maya for that... basically the same as 3D studio max. It's rendered frame by frame by the computer, but the animators spend all their time creating the models and setting paths for the animation, rather than worrying about each frame.