Learning how to use TIMER1 (the 16-bit timer on the ATtiny4313)