need a documentation of PETScVector class