What are reasoning models, and have you used them?