Mathematical methods of quantum optics