Sensor untuk kecepatan mesin