Computing lower bounds for van der Waerden nubmers using SAT