A process mining and machine learning based approach for remaining time prediction of production orders | Synapse