Optimization Convergence of Matching Pursuit