Match filtering approach for signal acquisition in radio-pulsar navigation