Digital element distribution maps, an aid for petrological investigations