Turing computability with neural nets