Algorithm for Constrained Markov Decision Process with Linear Convergence