Uncovering a Universal Abstract Algorithm for Modular Addition in Neural Networks