PolyKAN: A Polyhedral Analysis Framework for Provable and Approximately Optimal KAN Compression