Transformer encoder based self-supervised learning for HVAC fault detection with unlabeled data | Synapse