Short-term planning for open pit mines: a review. Issue 5 (4th July 2019)