Anthony Ranaudo traded to TEX for Robbie Ross Jr