From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra