Recent progress in molecular simulation of nanoporous graphene membranes for gas separation