Mathematical physics of dilute Bose gases