How much RAM can theoretically be addressed by a 64-bit operating system?