Dengan landasan ataupun berdasarkan kesepakatan apa menggunakan nama BJ.Habibie sebagai pengganti nama UNG?