Treasury Department says at least 8 proprietary tools stolen from US company, sold to unauthorized user