Fallen DC officer Wayne David to be honored in procession, funeral