Does RAIM with correct exclusion produce unbiased positions?