solution to flavius josephus problem.