Nine dead as militants attack Philippine tourist island: army