Text this: The Modeling of Counter Machines by Two-Head Finite Automata