Given strings `s1`, `s2`, and `s3`, return true if `s3` can be formed by interleaving s1 and s2: an interleaving keeps the relative order within each string while merging them.