Probabilistic Turing machines