How do IFRS 17 and IFRS 9 interact?