Iranian nuclear archive shows that Iran lied about uranium mine