已知碳有几种同位素?