Numerical back-analysis of highwall instability in an open pit: a case study