The monitoring role of soil pressure sensors in underground space development