Deep Phonology: Doing phonology with deep learning