Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving