A language for the Finite Element Method