合成氨的工业生产主要包括