PGTNet: A Process Graph Transformer Network for Remaining Time Prediction of Business Process Instances