what is the definition of succinct