FULLY COHERENT MODEL OF DYNAMICS AROUND BINARY ASTEROIDS: APPLICATION TO DIDYMOS AND THE DART IMPACT