A coalgebraic perspective on linear weighted automata