Sri Lankan court bans industrial action by Ceylon Electricity Board workers