What submachine gun was used before the L85A1 assault rifle and during the Korean war?