“Federal Prison Industries, which employs some 17,000 prisoners and draws $650 million in revenue each year”