U.S. considers Libya's denuclearization model for North Korea: Bolton