A fully-dynamic data structure for external substring search