From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams