Spec-Driven AI for Science: The ARIA Framework for Automated and Reproducible Data Analysis