Modelling of rotating ultrasonic sensors for pipe inspection