Who sets the salary of the president?