Joint optimization of seat allocation and pricing with multi-ride season tickets in high-speed railway services