the mining process of platinum