Mathematical Theory of Dilute Gases