Text this: Regular Separability of One Counter Automata