The Mathematical Theory of Interacting Bose Gases