Definition and Scope of Petrology