K–Ar age of the late Pleistocene eruption of Toba, north Sumatra