More than 13,000 illegal Asian workers leave Oman under amnesty