¿Qué guerra acabó en España, en 1713, con la pérdida de Gibraltar?