Establishment and solution of a mathematical model of the drillstring vibration and analysis of dynamic release force during an up-jar operation in a vertical well