Fine-Tuning Language Models Using Formal Methods Feedback