Effects of the ban on tropical log exports on the forestry sector of Indonesia