A U-shaped spray device on a front boom-type roadheader for dust suppression in a metro tunnel. (February 2023)