Smart Contract Vulnerability Detection for Educational Blockchain Based on Graph Neural Networks