The size distribution of normal human red blood cells