Mathematical model of the worm wheel tooth flank of a double-enveloping worm gear