Mathematical Programming For Sequence Optimization In Block Cave Mining