Zamek Banja Luka, Tvrdava Kastel, Castel Fortress - Banja Luka