Title: A historical survey of petrology