Disease progression modelling reveals heterogeneity in trajectories of Lewy-type α-synuclein pathology