Formal Models of Domestic Politics