What happened to the actor who played DCI Banks?