Stope boundary optimization: A mathematical model and efficient heuristics. (August 2019)