Probabilistic Turing machines and computability