A new method for quantitative petrography based on image processing of chemical element maps: Part I. Mineral mapping applied to compacted bentonites