Stress tests, information disclosure, and credit line runs ∗