Petrology and geochemistry of Rodrigues Island, Indian Ocean