Indonesia opens protected rainforests to mining and other developments