Exact Point Cloud Downsampling for Fast and Accurate Global Trajectory Optimization