What type of plate boundary caused the formation of the Himalayas? Name another example of a mountain range that formed in this way.