High precision timing of millisecond pulsars