Supply and demand in prehistory? Economics of Neolithic mining in northwest Europe