Iraq forces launch battle to liberate Mosul from IS