Text this: A survey on difference hierarchies of regular languages