Diagnostic validity of the use of ICDAS II and DIAGNOdent pen verified by micro-computed tomography for the detection of occlusal caries lesions—an in vitro evaluation