At the roots of dictionary compression: String attractors