Artificial Intelligence, Game Theory and Mechanism Design in Politics