Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal