The Alexandrov-Fenchel Inequality and its Extremal Structures