RPM sensor