Robert Mueller announces that he is resigning