Maximum likelihood propagation-delay estimation in unknown correlated noise using antenna arrays: application to Global Navigation Satellite Systems.