A Model-based Fault Detection Method for the Position Transducer in the Ampelmann System