Behavior Trees in Industrial Applications: A Case Study in Underground Explosive Charging | IEEE Conference Publication | IEEE Xplore