HRTC’s Delhi-Leh bus resumes after 8.5 months