Task-driven Modeling of the Drosophila Head Direction Circuits