Phase-locking of extended-cavity diode lasers with frequency offset of 9.2 GHz