Acquisition analysis for Galileo BOC modulated Signals: theory and simulation