A joint model of production scheduling and predictive maintenance for minimizing job tardiness