A Scalable Python-Based Optimization Model for Sustainable Open-Pit Mine Production Scheduling | Synapse