Dastis descarta que una solución para Irlanda del Norte "pueda servir de ejemplo" para Gibraltar