Structure Theorem for Finitely Generated Modules over Euclidean Domains