Petrology and sedimentology of the Horlick Formation (Lower Devonian), Ohio Range, Transantarctic Mountains