US intelligence documents on Nelson Mandela made public