Kimberlite minerals from Vargem (Minas Gerais) and Redondão (Piaui) diatremes, Brazil: and garnet lherzolite xenolith from Redondão diatreme - Tsai, Hsiao-Ming (1977)