Separation of Hydrogen Gas from Coal Gas by Graphene Nanopores