who is the most paid mlb player 2017