NASA and Nokia are taking 4G into space