[petsc-users] Guidance on setting up BDDC