TFormer: A time–frequency Transformer with batch normalization for driver fatigue recognition