Uma estratégia computacional para a segmentação automática de árvores individuais de mangue a partir de dados de varredura tridimensional a laser