How many 13mm cartridge anti-tank rifles were produced for World War I?