who plays dumbledore from harry potter and the half blood prince?