An overview of Deligne''s proof of the Riemann hypothesis for varieties over finite fields