Phonology is often distinguished from phonetics. What branch of linguistics is phonology distinguished from?