Johnsonovo kódování