How Much Do Firms Hedge with Derivatives?