Overview on porous inorganic membranes for gas separation