how is a divorce finalized