Non-linear Pre-coding for Multiple-Antenna Multi-user Downlink Transmissions with Different QoS Requirements