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