What did the international astronomical union do in 1930?