Coalgebras for Bisimulation of Weighted Automata over Semirings (Logical Methods in Computer Science, 2023)