Electric-charge quantization