Exact Recovery of Hard Thresholding Pursuit