Petrology of the prehistoric lavas and dyke of the Barren Island, Andaman Sea, Indian Ocean.