Combinatorial properties of balanced codes over the complex m-th roots of unity and efficient coding algorithms