Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals