NASA picks Nokia to build moon's first 4G network