Text this: Modelling of bolt tightening by contact stiffness and its quantitative evaluation using transmitted ultrasonic pulse