Stav dette: Abstract Operations Research Modeling Using Natural Language Inputs