Probabilistic Turing Machines