What you may not know about the Barton Springs Salamander