A high-performance hybrid agent-based model for simulating urban vector-borne disease transmission