On the strictness of the quantifier structure hierarchy in first-order logic (Logical Methods in Computer Science, 2014)