People used to use deer antlers to beat the minerals out of rock hidden in the earth. Luckily, they got better at it, and now modern mining is a mind-boggling process for efficiently removing stuff we want from inside the planet.