Overview of attacks against civilian infrastructure during the Syrian civil war, 2012–2018