Sebelum bergabung menjadi provinsi baru di indonesia,irian jaya bernama?