Double-heterostructure ridge-waveguide GaAs/AlGaAs phase modulator for 780 nm lasers