Automated biostratigraphic correlation of palynological records on the basis of shapes of pollen curves and evaluation of next-best solutions