Geometric quantization Symplectic and contact geometry mathematics