The Himalayan Foreland Basin from collision onset to the present: a sedimentary–petrology perspective