Timing Measurements and Their Implications for Four Binary Millisecond Pulsars