31,300: Number of building and equipment maintenance workers employed by USPS in fiscal 2017