Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification