For nearly four years, between 2013 and 2017, Syria's Raqqa city remained under the control of one of the bloodiest jihadist groups of this century: ISIS, also known as ISIL, Daesh, and Islamic State.