Finitely generated relatively universal varieties of Heyting algebras