[firedrake] DOLFIN: Expressive and scalable finite element simulation beyond 1000 cores