Practical stabilisation and transient shaping of discrete-time plants with saturating actuators and matched disturbances