Number of grains of sand on Earth, Avogadro's number