South Korea’s GNSS project to take off with $3.3 billion budget