How were the major mountain belts of the world produced?