The Stokes complex: A review of exactly divergence-free finite element pairs for incompressible flows