BBC director general and CEO resign over Trump documentary edit