The Brascamp–Lieb Inequalities: Finiteness, Structure and Extremals