Christopher Lee: an actor of muscular intelligence with a staggering career