How long should you cook chopped tomatoes for?