Mexican troops deployed to border as part of deal to pause US tariffs