Topology Optimization in PETSc