British spies waged cyber campaign against ISIS, says GCHQ chief