Large-eddy simulation of high-Reynolds-number turbulent channel flow controlled using streamwise travelling wave-like wall deformation for drag reduction | Synapse