Designing Emission Budget Trading Programs Under Existing State Law