Polvorín, Ciudadela de Pamplona