Thrust tectonics, thin skinned or thick skinned, and the continuation of thrusts to deep in the crust