A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Logical Methods in Computer Science, 2023)