Gas permeation properties of thianthrene-5,5,10,10-tetraoxide-containing polyimides