L1/2 Regularization: Convergence of Iterative Half Thresholding Algorithm