Better implementation of Tauchen