A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability