https://luckyresistor.me/2021/04/17/filtered-rpm-measurement-using-pio/