A Nonlinear Model for Synchronous Machines to Describe High-Frequency Signal Based Position Estimators