Исторический обзор инженерного освоения подземного пространства