Common Types of Geotechnical Monitoring Instruments Used in Construction and Mining