petrographische provinz