Exact algorithm for autonomous dump truck routing in open-pit mines considering coal production