Exploring networks with traceroute-like probes: theory and simulations