Philippine soldiers used to battling rebels in jungle-clad mountains are fighting a new type of conflict in the southern city of Marawi -- against Islamic State group militants hiding in dense urban areas.