Formal Privacy Models and Title 13