Specifying Optimisation Problems for Declarative Programs in Precise Natural Language