The algorithms of navigation satellites signals reception on Board the spacecraft using a correlator