Semantics of HTS AC Loss Modeling: Theories, Models, and Experiments