Text this: The tiberian pronunciation tradition of biblical Hebrew.