Strong Optimal Classification Trees