Efficient Soft-Decision Maximum-Likelihood Decoding of BCH Code in the GNSS