The Mining industry route : a trip from prehistory to the present day to learn about the different material extraction systems and about the life of miners