História de Portugal (1640–1777)