Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production