Sous-sol, mines et carrières