ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications