Modeling preventive maintenance of manufacturing processes with probabilistic Boolean networks with interventions