Massive Kaluza-Klein modes and effective theories of superstring moduli