process of exporting products used in mining