who is the highest paid mlb player in 2017