Technological Challenges Aside, Is Asteroid Mining Legal?