where is the boy who played charlie in willy wonka