The Boko Haram insurgency, by the numbers