In the book of Numbers there Israel fought with Midian. How many troops were used?