Tea: A High-level Language and Runtime System for Automating Statistical Analysis