Support vector machine polyhedral separability in semisupervised learning