The lattice of submodules of a module over a noncommutative ring