Design of a very high sensitivity acquisition system for a space GNSS receiver