[firedrake] eigenvalue problems with SLEPc