What data structure would you use to efficiently index real-time sensor data streaming from thousands of active wellheads?