Resource Constrained Model Compression via Minimax Optimization for Spiking Neural Networks