The hot springs on Gunung Rinjani volcano, Lombok, Indonesia