Khovanov homotopy types