Gallium-vacancy-dependent diffusion model of ohmic contacts to GaAs