Spiking network of the basal ganglia with contingency-sensitive dopamine model used by: