How to use ngsPETSc