Lexicographic goal programming approach for a short-term mining planning problem. Issue 2 (1st February 2023)