Causal Models for Comparing and Optimizing HIV Treatment Strategies Using EHR Data