petsc4py: The Python interface to PETSc