Euclidean semimodules