Measuring the Impact of Early-2025 AI on Experienced Developer Productivity