A Principled Approach to Programmatic Evaluation for K-12 Education