What was the capital of the dynasty for which Đại Việt sử ký was the official historical text?