A WECC-based Model for Simulating Two-stage Market Clearing with High-temporal-resolution.