Exact Recovery of Hard Thresholding Pursuit Ping Li