Turing machines on represented sets, a model of computation for Analysis (Logical Methods in Computer Science, 2011)