Successor-invariant first-order logic on finite structures