lerch-grossman open pit scheduling