Text this: A Comparative Analysis of Pruning, Quantization, and Compilation for LightGBMBased Electricity Anomaly Detection on IoT Edge Devices.