23 to 17 minute 5K: How I ran faster in 4 years