The equipment utilisation versus mining rate trade-off in open pit mining. Issue 7 (3rd October 2018)