PETSc users manual