Formal power series over a semiring