Garnet peridotite xenoliths in South African kimberlite pipes and their petrogenesis