Mal'cev, Protomodular, Homological and Semi-Abelian Categories