Contractional Tectonics: Investigations of Ongoing Construction of the Himalaya Fold-thrust Belt and the Trishear Model of Fault-propagation Folding