Abacus Self-Supervised Event Counting-Aligned Distributional Pretraining for Sequential User Modeling