mining process how minerals are mined