Non-linear digital real-time density control in the TCV tokamak