What are the legal requirements or precedence for splitting mortgage interest for 2023, if that is not directly stated in a final divorce agreement?