Formation of Appalachian mountains