Sequential bayesian detection of GNSS signals