what year alex rodriguez left the mariners?