On the construction and theory of the dead escapement for clocks