Exact finite approximations of average-cost countable Markov decision processes