Model theory and algebra