Modeling and model based fault diagnosis of dry vacuum pumps in the semiconductor industry