Using Dolfin Dof ordering for solvers