Robust Mean Estimation under Quantization