Exploiting automatically inferred constraint-models for building identification in satellite imagery