the process in mining copper