Theoretical analysis of singleton arc consistency and its extensions