Territorial control in civil wars: Theory and measurement using machine learning. (November 2020)