Logic-based Explanations for Linear Support Vector Classifiers with Reject Option