Rule extraction from linear support vector machines