Model Compression with Adversarial Robustness: A Unified Optimization Framework