Running: how to pace yourself properly to improve your running time