Mathematics as information compression via the matching and unification of patterns