Title: Changing to the metric system in the mining industry