Proper Equivariant Stable Homotopy Theory