夫妻共有房屋的执行困境与路径优化