Social tagging: Semantics are actually used