An Overview of Structural Coverage Metrics for Testing Neural Networks