Indonesian rescuers dig through volcanic ash after eruption kills 9 and destroys buildings