普罗旺斯西红柿和其它西红柿的区别是什么