Why is a transaction with an nSequence value less than 0xFFFFFFFF considered non-final, even though its nLockTime can be in the past? According to IsFinalTx(), such a transaction is considered final. Why are RBF-enabled transactions considered non-final?