Grad Banja Luka, Tvrdava Kaštel, Tvrđava Castel - Banja Luka