Simple formula for dynamic stress intensity factor of pre-cracked Charpy specimen