who plays dumbledore in harry potter the half blood prince?