Lectures on geometric quantization by David John Simms