The M1947 Johnson auto carbine was intended as a replacement for a .30 caliber semi-automatic rifle that was standard US service rifle during World War II, the Korean War, and a limited amount when?