How many ants do you need to start an ant farm?