Методы локализации источника звука на основе алгоритма GCC-PHAT и его математическое обоснование