Dirk Brazil chosen as Alameda’s new interim city manager