¿Bajo el mandato de qué rey Portugal se separa de España en el año 1640?