How do you factor the trinomial 2x^2 - 32x + 128?