Digitalization of mine operations: Scenarios to benefit in real-time truck dispatching | Synapse