Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics