Indonesian Rescuers Dig through Volcanic Ash after Eruption Kills 9 and Destroys Buildings