Cost to liberate Marawi: PHP5 billion ($97.2M)