Algorithmic Decision-Making in Democratic Institutions