Examining Post-Training Quantization for Mixture-of-Experts: A Benchmark