Underground mine scheduling of mobile machines using Constraint Programming and Large Neighborhood Search. (November 2020)