Descriptive Set Theoretic Methods in Automata Theory