Double Heyting algebras