External Labeling: Fundamental Concepts and Algorithmic Techniques