In the x86-64 architecture, how can the operating system specify which pages cannot contain executable code?