Tunisia kills 10 militants who attacked barracks near Libya border