A Comprehensive Review on Deep Supervision: Theories and Applications