Topology of Hitchin systems and Hodge theory of character varieties