Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (Logical Methods in Computer Science, 2009)