A review of different synthetic approaches of amorphous intrinsic microporous polymers and their potential applications in membrane-based gases separation