A convergence law for continuous logic and continuous structures with finite domains