mining ore and what it involves