Title: The measurement of rock pressure in mines