materials used in mining gold and diamond