Is there an algorithm for calculating the Chow groups of a variety over a finite field?