Characterization of Sigma Types and the structure identity principle