who plays dumbledore in the halfblood prince?