Constant-Memory Validation of Streaming XML Documents Against DTDs