Manufacture of ice cream and other edible ice