Decremental data structures for connectivity and dominators in directed graphs