The Equational Theories Project: Collaborative Mathematical Research at Scale