On Nontrivial Separators for k-Page Graphs and Simulations by Nondeterministic One-Tape Turing Machines