Review of health inspection and reinforcement design for typical tunnel quality defects of voids and insufficient lining thickness. (July 2023)