Pareto-Optimal Quantized ResNet Is Mostly 4-bit