Finding and Optimizing Certified, Collision-Free Regions in Configuration Space for Robot Manipulators