SoK: Explainable Machine Learning for Computer Security Applications