Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Logical Methods in Computer Science, 2023)