Directed Width Measures and Monotonicity of Directed Graph Searching