Asteroid Mining in Fiction, Past and Present