Data-Driven Agent-Based Modeling, with Application to Rooftop Solar Adoption