User Recognition of Devices on the Internet based on Heterogeneous Graph Transformer with Partial Labels