Factoring trinomials ax^2+bx+c with the box AC method