王铨：从旧中国的火工所长到新中国的军工专家