Canonical heights and division polynomials