Japan’s economy contracts in July-September quarter, 15 November 2023