Kestrel: An Interface from Optimization Modeling Systems to the NEOS Server