Autofocusing of SAR Images Based on the Product High Order Ambiguity Function