Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain