Elon Musk files with government to provide Internet service from space