9,000 illegal workers apply to leave Oman under amnesty