Шахтное и подземное строительство : лабораторный практикум : учебное пособие