司马相如和卓文君离婚了吗