highest point on the Portuguese mainland