Progress measures for grokking via mechanistic interpretability