how big is super mario 3d world