Certified Polyhedral Decompositions of Collision-Free Configuration Space