The Philippines is marking four years since a large-scale military operation against an armed group in the battle of Marawi, which saw government forces fight ISIL-affiliated rebels for more than five months.