Cooking of vegetables