Solution of the single machine total tardiness problem