Molecular modeling and gas permeation properties of a polymer of intrinsic microporosity composed of ethanoanthracene and Tröger's base units