Time in quantum theory, the Wheeler-DeWitt equation and the Born-Oppenheimer approximation