monastery of san juan de la peña located in the province of huesca and where the kingdom of aragon was formed