A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic