Training LLMs for Verified Programming