php stuff for dealing with U.S. states.