PETSc for Partial Differential Equations