Concentration of the heavy isotope of carbon and measurement of its nuclear spin