OCTAL: Graph Representation Learning for LTL Model Checking