Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels