Korean telecoms: Initial spectrum auction proposals