Recurrent Neural Networks Can Learn to Implement Symbol-Sensitive Counting