Ergodicity of Markov Processes via Nonstandard Analysis