The succinctness of first-order logic on linear orders (Logical Methods in Computer Science, 2005)