Hot mud eruptions produce salt in Indonesia's Central Java