HedgeCut: Maintaining Randomised Trees for Low-Latency Machine Unlearning (Proceedings of the 2021 International Conference on Management of Data)