Derivation of coefficient of friction at high sliding speeds from energy conservation over the frictional interface