Pacing profiles and tactical behaviors of elite runners