An Edgeworth expansion for finite-population U-statistics