Pure- and mixed-gas permeation properties of a microporous spirobisindane-based ladder polymer (PIM-1)