Petrologia delle formazioni magmatiche