PETSc 2.0 users manual