Reynolds-number scaling of turbulent channel flow | Synapse