Yankees trade Nestor Cortes Jr. to Mariners for international slot money