Power algebras over semirings