Bohr-Sommerfeld quantization