How many Romans lived in Mithridate the Great's kingdom in 88 BC