A traffic state prediction method based on spatial–temporal data mining of floating car data by using autoformer architecture | Synapse