Foundations of Stable Homotopy Theory