What do central counterparty default funds really cover? A network-based stress test answer