Maximum likelihood propagation-delay estimation in unknown correlated noise using antenna arrays: application to Global Navigation Satellite Systems | IEEE Conference Publication | IEEE Xplore