who plays dumbledore in harry potter and the half - blood prince?