NOVA: A Functional Language for Data Parallelism