DS-STAR: Data Science Agent via Iterative Planning and Verification