Risk-limiting Financial Audits via Weighted Sampling without Replacement