The Hodge conjecture