Over 7,000 Russian mercenaries still in Libya: Official