Stabilization of Heegaard splittings