Economic Models of Politics: a course on formal modelling of political institutions