I'd be more interested in which render engine was used. The animation portion could be easily be done in any of the software you memetioned. My guess would renderman due to apples relationship with Pixar, but that's complete speculation.
Its unlikely pixar is involved. It can be realy anything. But it has nice realistic atmosphere at times. Looks very unbiased. I would guess Arnold because unbiased would take too much time and Arnold just has that real vibe without being too slow.
