Definition of igneous rocks