A rigorous model for high resolution satellite imagery orientation