Efficiently Anonymizing Social Networks with Reachability Preservation