España supera los 3.000 militares desplegados en el exterior