Mount Rindjani, Nusa Tenggara Barat (mountain)