Modeling gas permeability and diffusivity in HAB-6FDA polyimide and its thermally rearranged analogs