Definition of "batholith"