The counting, sizing and sampling of Aitken nuclei in gas-cooled reactors