阿伏加德罗常数是人为规定的还是测出来的