Data-Driven Reliability Modeling of Smart Manufacturing Systems Using Process Mining