Philippine soldiers battle Islamist militants in Marawi City