Veteran righty Chris Martin designated for assignment by Rangers, who trade for rookie lefty | Player12