Locally finite varieties of Heyting algebras