Pedal-travel sensor