​Sufficient-Statistic Formula for Efficient Labor Market Tightness