Three policemen wounded in attack north of the capital Riyadh. Gunmen alleged to have ties to IS