Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning