Haber-Bosch synthesis of ammonia