Modeling and Characterization of Internet Censorship Technologies