Poeta Calculans: Harsdorffer, Leibniz, and the mathesis universalis