$12.9 billion: Amount of retail revenue generated by USPS in fiscal 2017