Trump picks E.J. Antoni for Bureau of Labor Statistics