Linear-Algebraic Models of Linear Logic as Categories of Modules Over Sigma-Semirings