Emergent Stack Representations in Modeling Counter Languages Using Transformers