Mariners pull off big trade for former All-Star