Model-Based Analysis and Optimisation of Haber-Bosch Process Designs for Power-to-Ammonia