Laser-Ultrasound-Based Grain Size Gauge for the Hot Strip Mill