About 2.5 tons of uranium missing in Libya: UN nuclear watchdog