Comparison theorems for half-linear second order difference equations