Digital coding of colour television signals