Hard Rock workers sue over tip pooling