Explosion Prevention at Tank Truck Loading Facilities -- A Case Study of High-Concentration Gas Detection and Reduced Operator Workload