Distribution planning problem for a high-speed rail catering service considering time-varying demands and pedestrian congestion: a lot-sizing-based model and decomposition algorithm