Ultrametric watersheds: a bijection theorem for hierarchical edge-segmentation