Bolton says US considering Libya model for North Korean denuclearization