Molecular modelling of polyimide membranes for gas separation