A Theoretical Framework for Unsupervised Change Detection Based on Change Vector Analysis in Polar Domain