Microwave phase locking of Josephson-junction fluxon oscillators