Геодезия, геоинформатика и навигация