PETSc Users Manual: Revision 3.11