Qual foi o nome da batalha que libertou a península Ibérica do domínio do islã, e quais foram os reis vencedores dessa batalha?