Barium Fluoride (BaF2) Scintillation Detectors for Fast Timing Measurements in Pebble-Bed Reactor Design