Indonesia’s Mount Semeru erupts, prompting evacuations