Restoration of Nonlinearly Distorted Audio Using Markov Chain Monte Carlo Methods