UFL: a Finite Element Form Language