Finitely generated free Heyting algebras via Birkhoff duality and coalgebra (Logical Methods in Computer Science, 2011)