Given the roots of two binary trees `p` and `q`, return true if they are structurally identical and every corresponding node has the same value.