Sommerfeld–Wilson–Ishiwara quantization