mptcp: Track received DATA_FIN sequence number and add related helpers