during world war two doboj was an important partisans headquarters