What gun did the machine gun that the MG 3 is derived from replace?