Plate tectonics and igneous rocks