Text this: The Tiberian pronunciation tradition of Biblical Hebrew.