SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?