Climate change, population pressure, and wars in European history