What is involved in the formation of an igneous rock?