Free semimodules and their examples