A hierarchy for nondeterministic time complexity