Optimizing Open Cast Mining: Techniques and Case Studies