Computing Hilbert class polynomials with the Chinese remainder theorem