Zámek Banja Luka, Tvrdava Kastel, Pevnost Castel - Banja Luka