Gunung Rindjani, Nusa Tenggara Barat (mountain)