ISIL leader killed: What happened in US raid?

The US says ISIL’s leader Abu Ibrahim al-Qurayshi has been killed in Syria. This is what we know so far about what happened in the raid.