A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step Reasoning Task