[OC] How marathon record times for women and men have changed over the last century