Linear time membership in a class of regular expressions with interleaving and counting