Evolution of forest cover in Portugal: A review of the 12th–20th centuries