a short history of mineral processing