Global spread of volcanic dust from the Bali eruption of 1963