After you've already taken a city is there any way to exterminate the population? Maybe leave and wait for them to revolt but is there an easy way to do it?