Charging Trump was not an option, says Robert Mueller