Characterization of Finite p-Groups by Their Non-Abelian Tensor Square