The role of professional earth pressure sensors in monitoring the pressure of tunnel linings