Dynamic frictional indentation of an elastic half-plane by a rigid punch