It took Mr Tebogt 3.45 hours to run 13.1 miles what was his average speed